Automated Visualization of Process Diagrams
نویسندگان
چکیده
In this paper, we explore the problem of producing process diagrams and introduce a linear time technique for creating them. Each edge has at most 3 bends and portions of the edge routing have optimal height. While developing a solution, we explore the subproblems of determining the order of the layers in the diagram, assigning x and y coordinates to nodes, and routing the edges.
منابع مشابه
A survey of Euler diagrams
Euler diagrams visually represent containment, intersection and exclusion using closed curves. They first appeared several hundred years ago, however, there has been a resurgence in Euler diagram research in the twenty-first century. This was initially driven by their use in visual languages, where they can be used to represent logical expressions diagrammatically. This work lead to the require...
متن کاملGeneNet: a gene network database and its automated visualization
MOTIVATION Gene networks that provide the regulation of physiological processes are the basic feature of organisms. Information regarding the regulation of gene expression and signal transduction pathways is increasing rapidly. However, the information is hard to formalize and systematize. Ways and means for automated visualization of the gene networks based on their formalized description are ...
متن کاملDrawing Euler Diagrams with Circles
Euler diagrams are a popular and intuitive visualization tool which are used in a wide variety of application areas, including biological and medical data analysis. As with other data visualization methods, such as graphs, bar charts, or pie charts, the automated generation of an Euler diagram from a suitable data set would be advantageous, removing the burden of manual data analysis and the su...
متن کاملVisualizaiton an Interpretation of Analysis Results within the Context of Formalized UML Diagrams
This project complements and extends previous work that has focused on attaching formal semantics to informal graphical object-oriented modeling notations in order to automatically generate formal specifications for a number of target languages [3, 14, 18]. My research [4, 5, 6] builds upon the informal and formal integration work by investigating how commonly used automated analysis techniques...
متن کاملIntegrating Informal and Formal Approaches to Requirements Modeling and Analysis
The Unified Modeling Language (UML) comprises several different notations for object-oriented modeling with no formal semantics attached to the individual diagrams. We have developed a generic framework for formalizing a subset of UML diagrams in terms of various formal languages, with a focus on embedded systems. We have formalized UML in terms of Promela, thus enabling analysis of the UML dia...
متن کامل